Combine and conquer: Relating BIP and Reo

نویسندگان

  • Kasper Dokter
  • Sung-Shik T. Q. Jongmans
  • Farhad Arbab
  • Simon Bliudze
چکیده

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation between exogenous coordination languages comprises the basis for a solid comparison and consolidation of their fundamental concepts. In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models. We show that these transformations preserve all properties expressible in a common semantics. We use these transformations to define data-sensitive BIP architectures and their composition.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Relating BIP and Reo

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic mo...

متن کامل

Effects of rosemary essential oils and zinc on performance, egg quality traits, and some serum biochemical metabolites of laying hens

This study was conducted to evaluate the effects of dietary supplement-ation of rosemary essential oils (REO) and zinc (as zinc sulfate) on performance, egg quality traits, and some serum biochemical metabolites of laying hens. A total of 144 44-weeks-old Lohmann LSL-Lite laying hens were randomly allocated into four treatments, each comprising six replicates of six birds. The first group was s...

متن کامل

Free Vibration Analysis of Repetitive Structures using Decomposition, and Divide-Conquer Methods

This paper consists of three sections. In the first section an efficient method is used for decomposition of the canonical matrices associated with repetitive structures. to this end, cylindrical coordinate system, as well as a special numbering scheme were employed. In the second section, divide and conquer method have been used for eigensolution of these structures, where the matrices are in ...

متن کامل

Networks of Real-Time Actors Schedulability Analysis and Coordination

We present an automata theoretic framework for modular schedulability analysis of networks of real-time asynchronous actors. In this paper, we use the coordination language Reo to structure the network of actors and as such provide an exogenous form of scheduling between actors to complement their internal scheduling. We explain how to avoid extra communication buffers during analysis in some c...

متن کامل

THE STRUCTURE OF [P$(ReO,) (p-dppm),] [Re0,7,2

Acluster[ pt (Reo )(?-dppm) ][Reo ],2 [dppm=ph Pch ] with oxidaton of [pt Re(CO) ](?-dppm) ][PF ] is prepred . Crystals are triclinic,pl; a= 14.154(4)?, b=14.213(3) ?,c = 20.522(4) ? , a = 78.938(14)?, ?= 75.812(19) ? , ?= 74,957(22) ? ;v = 3828.9(1 5) ? ,z =2 ; Eraf-Noniu CAD4 difhctorneter with Mo- K radiation, ? = 0.71073 ? ; R = 0.069, R = 0.077 for 284 parameters and 5414 reflect...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Log. Algebr. Meth. Program.

دوره 86  شماره 

صفحات  -

تاریخ انتشار 2017